Continuation-passing style - PDFSEARCH.IO - Document Search Engine

Continuation-passing style
Results: 47

#	Item
11	A Self-Hosting Evaluator using HOAS A Scheme Pearl Eli Barzilay Northeastern University Add to Reading List Source URL: schemeworkshop.org Language: English - Date: 2011-08-12 16:48:16 Lambda calculus Recursion Subroutines Computability theory Theoretical computer science Higher-order abstract syntax Fixed-point combinator Scheme Continuation-passing style Software engineering Computing Computer programming
12	- Continuation-Passing, Closure-Passing Style Andrew W. Appel* Trevor Jim† Add to Reading List Source URL: grothoff.org - Date: 2011-06-21 07:45:42
13	BRICS RSBiernacki et al.: A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk - Date: 2006-11-27 19:50:41
14	BRICS RS-05-5 Biernacki et al.: A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-05-26 17:37:16
15	BRICS Basic Research in Computer Science BRICS RSKim et al.: Assessing the Overhead of ML Exceptions Assessing the Overhead of ML Exceptions Add to Reading List Source URL: www.brics.dk Language: English - Date: 1998-09-17 06:37:55 Functional programming Control flow Functional languages Procedural programming languages Logic in computer science Continuation-passing style Standard ML Continuation Exception handling Software engineering Computing Computer programming
16	BRICS Basic Research in Computer Science BRICS RSBiernacka et al.: An Operational Foundation for Delimited Continuations An Operational Foundation for Add to Reading List Source URL: www.brics.dk Language: English - Date: 2004-01-23 08:27:09 Control flow Continuations Procedural programming languages Functional programming Delimited continuation Eval Continuation-passing style Continuation Standard ML Software engineering Computing Computer programming
17	PDF Document Add to Reading List Source URL: www.brics.dk Language: English - Date: 1996-10-15 05:57:34 Functional programming Lambda calculus Type theory Data types Theoretical computer science Type system Continuation-passing style Simply typed lambda calculus C Sharp Software engineering Computing Computer programming
18	Lambda in Java Olena Syrota, Kyiv Pre-production Java Lab Lead Java 8 • Issue is planned for summer of 2013 Add to Reading List Source URL: pti.kpi.ua Language: English - Date: 2013-01-30 10:27:19 Subroutines Lambda calculus Functional programming Anonymous function Closure Lambda Function Binary lambda calculus Continuation-passing style Software engineering Declarative programming Computing
19	Tabled Execution in Scheme (Scheme Pearl) Jeremiah Willcock Andrew Lumsdaine Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:21:42 Subroutines Functional programming Computer performance Software optimization Programming paradigms Memoization XSB Continuation-passing style Prolog Software engineering Computing Computer programming
20	Shift to control Chung-chieh Shan Harvard University Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:32 Continuations Lambda calculus Control flow Recursion Delimited continuation Programming language semantics Continuation-passing style Continuation Call-with-current-continuation Software engineering Computer programming Computing

UPDATE